Pravastatin and raltegravir